On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
نویسندگان
چکیده
منابع مشابه
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of this logic, the variety of WNM-algebras (WNM) and we prove that it is locally finite, so all its subvarieties are generated by finite chains. We give criteria to compare varieties generated by finite families of WNM-c...
متن کاملJoan GISPERT I BRASÓ AXIOMATIC EXTENSIONS OF THE NILPOTENT MINIMUM LOGIC
A b s t r a c t. In this paper we characterize, classify and axiomatize all axiomatic extensions of the Nilpotent Minimum Logic. Every axiomatic extension is complete with respect to a class of NM-chains. Given a family of NM-chains the number of elements of the largest odd finite NM-chain in the family and the number of elements of the largest even finite NM-chain in the family turns out to be...
متن کاملAlgebraic study of axiomatic extensions of triangular norm based fuzzy logics
xiii Acknowledgements / Agräıments xv
متن کاملComputational complexities of axiomatic extensions of monoidal t-norm based logic
We study the computational complexity of some axiomatic extensions of the monoidal t-Norm based logic (MTL), namely NM corresponding to the logic of the so-called nilpotent minimum t-norm (due to Fodor [8]); and SMTL corresponding to left-continuous strict t-norms, introduced by Esteva (and others) in [4] and [5]. In particular, we show that the sets of 1-satisfiable and positively satisfiable ...
متن کاملOn Rational Weak Nilpotent Minimum Logics
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong stan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MLQ
سال: 2008
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200710054